Scan and Systems of Conditional Logic

A Critical Examination of Ibn-Sina’s Theory of the Conditional Syllogism

This paper will examine Ibn Sina’s theory of the Conditional Syllogism from a purely logical point of view, and will lay bare the principles he adopted for founding his theory, and the reason why the newly introduced part of his logic remained undeveloped and eventually was removed from the texts of logic in the later Islamic tradition. As a preliminary discussion, this paper briefly examines I...

The concept of logic entropy on D-posets

In this paper, a new invariant called {it logic entropy} for dynamical systems on a D-poset is introduced. Also, the {it conditional logical entropy} is defined and then some of its properties are studied.  The invariance of the {it logic entropy} of a system  under isomorphism is proved. At the end,  the notion of an $ m $-generator of a dynamical system is introduced and a version of the Kolm...

Prediction of University Students\' Internet Addiction Based on Brain-Behavioral Systems

Background and Aim: Internet addiction means excessive and unnecessary use of the Internet. The aim of this study was to investigate the role of brain-behavioral systems in Internet addiction among university students. Materials and Methods: This was a descriptive and correlational research. The statistical population was all the students of Islamic Azad University, Karaj Branch in the academi...

Why Even the Logic of Re-Defined Choice May Still Contradict the Logic of Care in Public Health Systems?

A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...